x86: restore vcpu_destroy_pagetables() call on HVM domain teardown.
authorTim Deegan <tim@xen.org>
Fri, 20 Apr 2012 08:49:06 +0000 (09:49 +0100)
committerTim Deegan <tim@xen.org>
Fri, 20 Apr 2012 08:49:06 +0000 (09:49 +0100)
commitabbcefcd9f6588b1bcac41e221083b1b4eb75c4a
treeee68d1919de21fdc4796ae93c6897235eb63fdaa
parentf5a7804a189ddeb17409fd382ca92c2712edee5f
x86: restore vcpu_destroy_pagetables() call on HVM domain teardown.

HVM vcpus that are using shadow pagetables have valid guest_table fields,
which need to be tidied up on domain teardown.

Signed-off-by: Tim Deegan <tim@xen.org>
Acked-by: Jan Beulich <jbeulich@suse.com>
Committed-by: Tim Deegan <tim@xen.org>
xen/arch/x86/domain.c